S-unit_equation loading ...