SZS status Theorem for i/f/ratRing/RAT__IS__RING
