Class ProblemIMP3.MVariable.MVarInteger