#if USE_SOLNS_TRACKING
	if (results->copySolution && results->isSatisfied)
		memcpy(results->solution, X, results->numVars * sizeof(int));
#endif

#if CHECK_SOLUTIONS
	if (results->isSatisfied && !verifySolution(X))
	{
		fprintf(stderr, "Solution found was not a solution!\n");
		exit(EXIT_FAILURE);
	}
#endif