which star system has distance at least 57.05?
(AND astronomy.star_system (ge astronomy.celestial_object.cosmological_distance 57.05^^http://www.w3.org/2001/XMLSchema#float))