A population of $N=1000$ is partitioned into two strata: $N_1=800, N_2=200$. We want to estimate the population mean with a sample $n=100$. If stratum standard deviations are $S_1=4$ and $S_2=16$, what is the allocation $n_1$ under Neyman allocation?