binomial(20,8)*!12/20!