SZS status Theorem for i/f/sat/EQF__Imp1
