Keil is going to make 15 pounds of mixed nuts for a party. If Keil can spend ​$87.50 on nuts and peanuts cost ​$2.50 per pound and fancy nuts cost ​$7.50 per​ pound, how many pounds of each should he​ buy?