Remove SAT solver.