The time it takes to complete a job varies inversely with the number of workers. If it takes 12 workers 5 hours to complete a job, how long will it take 20 workers to complete the same job? Let's think step by step and output the final answer within \boxed{}.
user