When did Edoardo Amaldi launch?
CREATE TABLE table_name_25 (launch_date VARCHAR, name VARCHAR)
SELECT launch_date FROM table_name_25 WHERE name = "edoardo amaldi"
<s>[INST] Write mssql query to answer the following question given the database schema. Schema: CREATE TABLE table_name_25 (launch_date VARCHAR, name VARCHAR) Question: When did Edoardo Amaldi launch? [/INST] SELECT launch_date FROM table_name_25 WHERE name = "edoardo amaldi" </s>