% SZS status Timeout for BOLZANO__LEM
