% SZS status Timeout for bit1__distinct_
