% SZS status Timeout for BAG__DISJOINT__DI
