#Set_sat_solver "minisat2";
subtermparams 0;
let h = heuristic "Then [Use DPM; Repeat Then [Use SCC ; Use ST]]";
set_heuristic "h";