binomcdf(20,1/12,15)