which stars has the mass of 7.7?
(AND astronomy.star (JOIN astronomy.star.mass_m 7.7^^http://www.w3.org/2001/XMLSchema#float))