How many pints of a 5 % antifreeze solution and how many pints of a 20 % antifreeze solution must be mixed to obtain 12 pints of a 15 % solution ?