% COMMAND-LINE: --miplib-trick
% EXPECT: unsat