A certain shade of light red pains t is made by mixing 1 and 1/2 quarts of red paint with 12 quarts of white paint. How much paint would you need to mix with 4 quarts of red paint.