Dig a pitch

10 boys can dig a pitch in 12 hours. How long will 8 boys take to do it ?