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