The time t (in hours) that it takes a group of volunteers to build a
playground varies inversely with the number n of volunteers. It takes
a group of 10 volunteers 12 hours to build the playground. How long
would it take a group of 15 volunteers?