add 2-SAT Algorithm