% SZS status Timeout for EQUIV__RES__EXISTS__UNIQ
