How many quarts is 3 1/2 gallons?