SZS status Theorem for i/f/float/LT__SUC__LE
