% COMMAND-LINE: --incremental
% EXPECT: unsat
% EXIT: 20