% SZS status Timeout for RES__EXISTS__UNIQUE__REGUL
