tools/minisat/simp
