Simple complete SAT solver.