C(52,27)^-1 * sum ((-1)^k * C(13,k) * C(4*(13-k),27)) , k=0 to 12