P=1e9+7;long v[1<<20];s,n,k,i,t;main(j){for(v[1]=s=scanf("%d",&n);j++<1e6?v[j]=v[P%j]*(P-P/j)%P:~scanf("%d",&t)?n-=t,k+=!!t:0;);for(;k/++i;s=s*v[i]%P*(n-i+2)%P);s=!printf(s?"%d":"NA",s);}