What launched has mariner 4 as the spacecraft?
CREATE TABLE table_name_17 (launched VARCHAR, spacecraft VARCHAR)
SELECT launched FROM table_name_17 WHERE spacecraft = "mariner 4"
<s>[INST] Write mssql query to answer the following question given the database schema. Schema: CREATE TABLE table_name_17 (launched VARCHAR, spacecraft VARCHAR) Question: What launched has mariner 4 as the spacecraft? [/INST] SELECT launched FROM table_name_17 WHERE spacecraft = "mariner 4" </s>