% SZS status Timeout for partial__order__reln__to__rel__co
