Ответ:

Объём работы составляет: 12 · 15 = 180 человеко-дней.

Если работают 9 человек, потребуется: 180 : 9 = 20 дней.

Ответ: за 20 дней.