update 2SAT