% SZS status Timeout for disjoint__drestri
