Update 2-SAT.cpp