% SZS status Timeout for REAL__SUM__IMAGE__DISJOINT__UNI
