the constellation pisces austrinus contains which star?
(AND astronomy.star (JOIN astronomy.star.constellation m.05_3_))