How many pounds of walnuts that cost $0.80 per pound must be mixed
with 8 pounds of cashews that costs $1.25 per pound to make a mixture of
nuts that costs $1.00 per pound?