seis pedreiros constroem um muro em 12 dias. ao construir outros 3 pedreiros, em quanto tempo o muro será construído ?