The length of time it takes to find a parking space at 9:00 a.m. is normally distributed with a mean of 7.4 minutes and a standard deviation of 3.1 minutes. What is the probability it takes between 5 and 10 minutes to find a parking space at 9:00 a.m.? Round your answer to four decimal places.