2SAT_Papadimitriou