Waiting times at a doctor office are normally distributed with a mean of 35 minutes, and a standard deviation of 10 minutes. 25% of the patients have to wait less than how many minutes?