% SZS status Timeout for LCONS__NOT__NIL_
