How many ounces of a ​17 % alcohol solution must be mixed with 4 ounces of a 20 ​% alcohol solution to make a 19 ​% alcohol​ solution?