the octans constellation is in which galaxy?
(AND astronomy.galaxy (JOIN astronomy.galaxy.constellation m.05mk4))