12 workers finish a job in 15 days. At the same rate, how many days will 18 workers take?