2-SAT update