% SZS status Timeout for elim__eq__coef
