% COMMAND-LINE: --decision=justification --no-unconstrained
% EXPECT: unsat