A national study has determined that people who work full time average 43.4 hours worked per week. Assume that the number of hours worked per week for those who 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 those workers.