SZS status Theorem for i/f/num/NOT__SUC
