DUPLICATE-solver_tolerance
