SAT Solver (v2)
