which spacecrafts use cnes for their manufacturer?
(AND spaceflight.spacecraft (JOIN spaceflight.spacecraft.manufacturer m.024fy1))