How many ounces of a 30% alcohol solution must be mixed with 9 ounces of a 35% alcohol solution to make a 31% alcohol solution ?