text: Below is an context that describes a sql query, paired with an question that provides further information. Write an answer that appropriately completes the request.  # noqa: E501
  ### Context:
  CREATE TABLE table_name_17 (launched VARCHAR, spacecraft VARCHAR)
  ### Question:
  What launched has mariner 4 as the spacecraft?
  ### Answer:
  SELECT launched FROM table_name_17 WHERE spacecraft = "mariner 4"