The widget making time for some widget samples are normally distributed with mean of 2250 minutes, and standard deviation of 10.2 minutes. Determine the proportion of the mean widget making time for a random sample of 35 widgets between 2260 and 2275 minutes?