How many gallons of a 13% salt solution must be mixed with 25 gallons of a 17% solution to obtain a 15% solution?​