It took Rachel 9.3 minutes to run a mile. It took Chris 0.9 times as long as it took Rachel to run the same distance. How long did it take Chris to run a mile?