CDF[NormalDistribution[15.7, 10.7], 0]