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