gh-35980: Adapt to new Singular sat API
The `sat` function that returns the saturation exponent was renamed to
`sat_with_exp` in [1]
This patch makes Sage work with singular < 4.3.2p3 and > 4.3.2p4. With
4.3.2p3 and 4.3.2p4 it returns a wrong exponent [2], unless singular is
patched with the above commit.
[1] https://github.com/Singular/Singular/commit/3f7e01a0f1f77073a3bc0dd3
25260ea88c216aff
[2] https://github.com/Singular/Singular/issues/1181
URL: https://github.com/sagemath/sage/pull/35980
Reported by: Antonio Rojas
Reviewer(s): Kwankyu Lee