2-SAT (X1V-X2)A(X2V-x3)A(X4VX3)(x5VX1)(X4V-X5) clauses X1 X2 X3 Xa X5 current F T F T Find an unsatisfied clause:(XV-X2) flip one of the value of xi and x2 randomly -If we flip x1,then we jump from 3 to 4 If we flip x2,then we jump from 3 to 22-SAT • (x1∨¬x2 )∧(x2∨¬x3 )∧(x4∨x3 )∧(x5∨x1 )∧(x4∨¬x5 ) • Find an unsatisfied clause: (x1∨¬x2 ) • flip one of the value of x1 and x2 randomly – If we flip x1 , then we jump from 3 to 4 – If we flip x2 , then we jump from 3 to 2 x1 x2 x3 x4 x5 current F T T F T clauses