A SAT Solver