sum_k=0^12 (binom(m,k)*binom(n-m,12-k)/binom(n,12))