Otherwise, a variable is flipped and the above is then repeated until all the clauses are satisfied.
Otherwise, an unsatisfied clause is selected and the value of exactly one variable changed. The above is then repeated until all the clauses are satisfied.