12 workers can complete a job in 15 days. How many days will 20 workers take, assuming equal efficiency?