EqSolver 2-Step Integers