% SZS status Timeout for neg__ZERO__eq__ZERO__t
