% SZS status Timeout for polynom__distinct_
