Students are collecting canned goods for a local food pantry. Last year, 12 students wete able to distribute 1000 flyers in nine hours. This year there are 15 students handing out the same number of flyers. If the time it takes to distribute the flyers varies inversely with the number of students, how long should it take them?