It takes 12 workers 5 days to build a wall.
Work out how many days it would take 15 workers to build the same wall.