The U.S. Bureau of Labor statistics reports that of persons who usually work full time, the average number of hours worked per week is 43.4. Assume that the number of hours worked per week for those who usually work full time is normally distributed. Suppose 12% of these workers work more than 48 hours. Based on this percentage, what is the standard deviation of number of hours worked per week for these workers?