How many gallons of a 80% antifreeze solution must be mixed with 60 gallons of 30% antifreeze to get a mixture that is 70% antifreeze?