N,K,X,Y,i,j,k;long d[48][1024],r,A[1024]; main(){ scanf("%d%d%d%d",&N,&K,&X,&Y); while(~scanf("%d",&i))A[i]=1; d[0][K=0]=1;for(i=j=1024;i--;)K+=A[i]; for(;++i