RUN: $(integer_programming_py3)