2sat draft2
2-SAT Papadimitriou algorithm with preprocessing