#if USE_UNSAT_TRACKING
			if (flips > globResults->unsatFlipSkip)
				globResults->unsatSum += falseClauseNum;
			if (globResults->unsatFlipCounts != NULL && flips <= globResults->unsatBufferLength)
				globResults->unsatFlipCounts[flips - 1] += falseClauseNum;
			flips++;
		#endif