% COMMAND-LINE: --incremental --simplification=none
% EXPECT: sat
% EXPECT: unsat