% SZS status Timeout for RIGHT__RES__FORALL__REGUL
