Uma escola do Município de Chiador precisou de uma reforma em seu muro, um grupo de 5 trabalhadores levam 12 dias para reformá-lo. Considerando os trabalhadores igualmente eficientes, quantos dias levarão 15 trabalhadores para reformar o muro?