The drying time of one particular paint is approximately normally distributed with a mean of 45
minutes. It is also known that 15% of walls painted with this paint need more than 55 minutes to
dry completely. Find the standard deviation of this distribution.