% SZS status Timeout for PROB__DISCRETE__EVEN
