return a model in case the QBF solver returns "sat"