Which constructor was there for the race with 25 laps?
CREATE TABLE table_name_31 (constructor VARCHAR, laps VARCHAR)
SELECT constructor FROM table_name_31 WHERE laps = 25
<s>[INST] Write mssql query to answer the following question given the database schema. Schema: CREATE TABLE table_name_31 (constructor VARCHAR, laps VARCHAR) Question: Which constructor was there for the race with 25 laps? [/INST] SELECT constructor FROM table_name_31 WHERE laps = 25 </s>