which star system has the constellation of eridanus?
(AND astronomy.star_system (JOIN astronomy.star_system.constellation m.03_57t))