If all clauses are already satisfied that it has found a satisfying assignment then it would actually stop and then it will randomly flip one of the variables of that clause, and by randomly flipping, I mean the following. 