How many gallons of a 90​% antifreeze solution must be mixed with 80 gallons of 25​% antifreeze to get a mixture that is 80​% ​antifreeze?