Class IntegerSolver