It takes 10 builders 18 days to lay 5000 bricks.
Work out how long it would take 15 builders to lay 5000 bricks.