#if USE_UNSAT_TRACKING
			if (steps > results->unsatFlipSkip)
				results->unsatSum += numvio;
			if (results->unsatFlipCounts != NULL && steps <= results->unsatBufferLength) 
				results->unsatFlipCounts[steps - 1] += numvio;
		#endif