exception mario.PartialResultWarning#

Some coefficients cannot be certified because the system is singular.