The Ambell Company uses batteries from two different manufacturers. Historically, 70% 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 1?