SZS status Theorem for i/f/sat/NOT__ELIM2
