2000003702

Four workers assembled a garden pool in $5$ hours. How long would it take eight workers to do the same job?