% SZS status Timeout for LEX__DEF__T
