CDF[NegativeBinomialDistribution[15.5, 0.5], 12]