The boys mixed 10 gallons of the 20% pure lemon juice and 10 gallons of the 70% pure lemon juice mix, because they wanted 20 gallons of lemonade at a 40% lemon juice mixture. How much should they have used to get a final mixture of 20 gallons at 40% lemon juice?