If it takes 15 workers 12 days to complete a project, how many workers would be needed to complete the same project in 9 days, assuming all workers work at the same rate? Let's think step by step and output the final answer within \boxed{}.
user