More 2SAT bodies + more on graph.h
Main.cpp and 2sat.h body added code