Adding Solver.x10