SZS status Theorem for i/f/extreal/min__infty_c1
