The amount of time it takes adults to fall asleep at night is approximately normally distributed with a mean of 23.45 minutes and a standard deviation of 7.01 minutes. Suppose Lisa got in bed at 9:00. At 9:15 she was still awake. What is the probability that she will be asleep by 9:20?