what is the name of the star that emits an energy equal to 0.0017?
(AND astronomy.star (JOIN astronomy.star.luminosity 0.0017^^http://www.w3.org/2001/XMLSchema#float))