If 15 workers can pave 18 driveways in 24 days, how many days should it take 40 workers to pave 22 driveways?