% SZS status Timeout for ZERO__eq__neg__ZERO__t
