Average person who drives car in United States drives 15, 350 miles which is 50% more than an average driver in Europe. We assume that the number of yearly miles by U.S. drivers is approximately a normal random variable of standard deviation of 4200 miles. Calculate percent of drivers who traveled between 10,000 to 12,000 miles in a year.