The lifetime of a certain manufacturer's washing machine is normally distributed with mean 4 years.
Only 15% of all these washing machines last at least 5 years.
What is the standard deviation of the lifetime of a washing machine made by this manufacturer?