}
readSolver(This, &This->solution[1], numVars * sizeof(int));
This->solutionsize = numVars;
+ } else if (result == IS_INDETER){
+ return result;
} else {//Reading unsat explanation
int numVars = readIntSolver(This);
if (numVars > This->solutionsize) {