The wait time at your local mcdonald's varies according to a normal distribution, with a mean of 7 minutes and standard deviation of 1.35 minutes. approximately what proportion of their wait times are over 9 minutes ?