Uma equipe de 5 trabalhadores pode construir um muro em 12 dias. Se a equipe aumentar para 12 trabalhadores, para construir o mesmo tipo de muro, qual será a diferença em dias para finalizar o muro?