% SZS status Timeout for BAG__DISJOINT__BAG__
