Для решения задачи сначала определим, сколько досок можно получить из одного бревна. Если каждое бревно распилили на 4 доски, то из 9 бревен получится:
\[ 9 \text{ бревен} \times 4 \text{ доски/бревно} = 36 \text{ досок} \]
Поскольку не хватило 12 досок, получается, что для завершения ремонта необходимо было в итоге:
\[ 36 \text{ досок} + 12 \text{ недостающих досок} = 48 \text{ досок} \]
Теперь определим, сколько бревен потребуется для получения 48 досок. Из одного бревна получается 4 доски, поэтому для 48 досок нужно:
\[ \frac{48 \text{ досок}}{4 \text{ доски/бревно}} = 12 \text{ бревен} \]
Таким образом, для ремонта дома потребовалось 12 бревен.