% SZS status Timeout for ext__suminf__lt__inf
