% SZS status Timeout for IS__GCD__MINUS_
