envisat are the artificial satellites of what celestial object?
(AND astronomy.celestial_object (JOIN astronomy.celestial_object.artificial_satellites m.0l2hw))