Swimmer Audrey Lacroix finished in what time?
CREATE TABLE table_name_20 (time VARCHAR, name VARCHAR)
SELECT time FROM table_name_20 WHERE name = "audrey lacroix"
<s>[INST] Write mssql query to answer the following question given the database schema. Schema: CREATE TABLE table_name_20 (time VARCHAR, name VARCHAR) Question: Swimmer Audrey Lacroix finished in what time? [/INST] SELECT time FROM table_name_20 WHERE name = "audrey lacroix" </s>