SZS status Theorem for i/f/sat/AND__INV2
