Simple SAT solver