Ответ:

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

2. Определим, за сколько дней выполнят работу 20 каменщиков: 180 : 20 = 9 дней.

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