RUN: $(MultipleKnapsackSat)