Peanuts sell for $3 per pound. Cashews sell for $6 per pound. How many pounds of cashews should be mixed with 12 pounds of peanuts to obtain a mixture that has a value of $4.20 per pound?