% SZS status Timeout for DIFF__SAME__UNION_
