Basic SAT DPLL solver