7*(1-binom(60,20)/binom(70,20))