what satellite has a value of 1426.0 as its dry mass?
(AND spaceflight.satellite (JOIN spaceflight.satellite.dry_mass_kg 1426.0^^http://www.w3.org/2001/XMLSchema#float))