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.