Para se construir um muro, inicialmente 12 homens
trabalharam durante 15 dias. Depois chegaram mais 8
homens e se juntaram ao grupo por 5 dias até concluírem
a obra.
Se todos os homens tivessem trabalhado juntos desde o
início, o muro teria ficado pronto em: