% SZS status Timeout for BAG__DISJOINT__BAG__UNION_
