Guy decides to get in shape by running. The first day, he runs 1 mile in 12 minutes. Two months later he has decreased
his mile time by 25%. What is his mile time now?