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: