A leaky boat already has some water on board and water is coming in at a constant rate.
Several people are available to operate the manual pumps and, when they do, they all pump
at the same rate. Starting at a given time, five people would take 10 hours to pump the boat
dry, while 12 people would take only 3 hours. How many people are required to pump it dry
in 2 hours from the given time?