How much 25% antifreeze and 50% antifreeze should be combined to give 40 gallons of 30% antifreeze?