Historically, 60 % of the batteries are from manufacturer 1, and 90% of these batteries last for over 40 hours. Only 75% of the batteries from manufacturer 2 last for over 40 hours. A battery in a critical tool fails at 32 hours. What is the probability it was from manufacturer 2?