% SZS status Timeout for BOUND__AT__WORST__LEM
