Na projeção do prazo de conclusão de uma obra dada pelo engenheiro, fica estabelecido que serão necessários 9 pedreiros para acabar a construção em 20 dias. Contudo, o cliente quer a construção pronta em 12 dias. Determine a quantidade de pedreiros, com a mesma eficiência dos primeiros, necessária para concluir a obra no prazo estipulado pelo cliente.