Susan wants to mix 10 pounds of Virginia nuts that cost 3.50 a pound with spanish nuts that cost 3.00 a pound to obtain a mixture that costs 3.40 a poound. How many pounds of spanish nuts should she use?