2-SAT Papadimitrou