which star belongs to the constellation of pictor?
(AND astronomy.star (JOIN astronomy.star.constellation m.01f17j))