k-CNF of max degree d with m clauses on n variables Sove(Φ) pick a random assignment X1,X2,…,X; while 3 unsatisfied clause C Fix(C); Fix(C) replace variables in C with random values; while 3 unsatisfied clause D overlapping with C Fix(D);Solve(φ) pick a random assignment x1, x2, ... , xn; while ∃ unsatisfied clause C Fix(C); Fix(C) replace variables in C with random values; while ∃ unsatisfied clause D overlapping with C Fix(D); φ : k-CNF of max degree d with m clauses on n variables