RUN: $(knapsack_2d_sat_py3)