in what star system is the constellation named virgo located?
(AND astronomy.star_system (JOIN astronomy.star_system.constellation m.07yt9))