Simple recursive watch-list based SAT solver.