fix deep int values in ModelSatisfactionProblem