If Steven can mix 20 drinks in 5 minutes, Sue can mix 20 drinks in 10 minutes, and Jack can mix 20 drinks in 15 minutes, how much time will it take all 3 of them working together to mix the 20 drinks?