HDL cholesterol levels for men have a mean of 46 mg/dl, with a standard deviation of 13.6 mg/dl. Assume that the distribution is Normal. What proportion of men have more than 40 mg/dl but less than 60 mg/dl of HDL (if applicable, please round your answer to at least 3 decimal places)