% SZS status Timeout for gcd1t
