SZS status Theorem for i/f/quantHeuristics/DISJ__IMP__INTRO
