Add SAT checker.