% SZS status Timeout for ELGOT1__T
