1 2
% COMMAND-LINE: --no-check-proofs --no-check-unsat-cores --decision=justification % EXPECT: unsat