4 A certain make of washing machine has a wash-time with mean 56.9 minutes and standard deviation 4.8 minutes. A certain make of tumble dryer has a drying-time with mean 61.1 minutes and standard deviation 6.3 minutes. Both times are normally distributed and are independent of each other. Find the probability that a randomly chosen wash-time differs by more than 3 minutes from a randomly chosen drying-time.