A distribution of values is normal with a mean of 244.3 and a
standard deviation of 12.9. Find the probability that a randomly
selected value is greater than 227.5.