Keil is going to make 13 pounds of mixed nuts for a party. Peanuts cost $3.50 per pound and fancy nuts cost $7.50 per pound. If Keil can spend $85.50 on nuts, how many pounds of each should he buy?