A simple SAT solver