Pr(X>20-0.5), normal distribution, mean=30, sd=7