A banker finds that the number of times people use automated-teller machines in a year are normally distributed with a mean of 40.0 and a standard deviation of 11.4. What is the percentage of customers who use them more than 35 times?