What is the time for when cornelio velasquez was the jockey?
CREATE TABLE table_name_12 (time VARCHAR, jockey VARCHAR)
SELECT time FROM table_name_12 WHERE jockey = "cornelio velasquez"
<s>[INST] Write mssql query to answer the following question given the database schema. Schema: CREATE TABLE table_name_12 (time VARCHAR, jockey VARCHAR) Question: What is the time for when cornelio velasquez was the jockey? [/INST] SELECT time FROM table_name_12 WHERE jockey = "cornelio velasquez" </s>