which star system has the constellation of crux?
(AND astronomy.star_system (JOIN astronomy.star_system.constellation m.01wll))