Uma obra está sendo executada em 15 dias, com 12 trabalhadores. Porém, no fim do sexto dia, 3 trabalhadores saíram do grupo. Considerando satisfeitos os critérios de proporcionalidade, quantos dias, no total, serão necessários para concluir a obra?