CDF[NormalDistribution[50,7.07]; k] = 999/1000