% SZS status Timeout for RES__EXISTS__EQUIV__R
