comb(12,4) + (-5*12^3+45*12^2-70*12+24)/24 + (3*12/2) + (-45*12^2+262*12)/6 + 42*12