10 workers complete a job in 12 days. How many days will 20 workers take at the same rate?