For every gallon of gas used, 4 ounces of oil should be added. How much gas is needed if 12 ounces of oil are used