The Healthy Foods store wants to mix raisins that sell for $4.00 per pound with nuts that sell for $5.75 per pound to make a 12.5 pound mixture that will sell for $4.70 per pound. How many pounds of raisins and how many pounds of nuts must be used?