sum from i=12 to 17 of (17 choose i)*0.4