% SZS status Timeout for LEFT__RES__EXISTS__REGUL
