% SZS status Timeout for REAL__HALF__BETWEEN_
