Fast SAT Solver