Which manufacturer has a time of +10.142?
CREATE TABLE table_name_11 (manufacturer VARCHAR, time VARCHAR)
SELECT manufacturer FROM table_name_11 WHERE time = "+10.142"
<s>[INST] Write mssql query to answer the following question given the database schema. Schema: CREATE TABLE table_name_11 (manufacturer VARCHAR, time VARCHAR) Question: Which manufacturer has a time of +10.142? [/INST] SELECT manufacturer FROM table_name_11 WHERE time = "+10.142" </s>