% SZS status Timeout for CARATHEODORY__LEM
