knapsack solver prosel