RUN: $(integer_programming)