Update 2-sat.cpp