2-Sat Papadimitriou's algorithm added
removed bit input data