How many pounds of raisins worth $1.50 per pound must be mixed with 10 pounds of peanuts worth $1.20 per pound to produce a mixture worth $1.40 per pound?