% SZS status Timeout for finite__enumeration__of__sets__has__max__non__emp
