% COMMAND-LINE: --enable-miplib-trick
% EXPECT: unsat
% EXIT: 20