% COMMAND-LINE: --decision=justification
% EXPECT: sat
% EXIT: 10