What is the highest total for Scotland with a year won of 1985?
CREATE TABLE table_name_12 (total INTEGER, country VARCHAR, year_s__won VARCHAR)
SELECT MAX(total) FROM table_name_12 WHERE country = "scotland" AND year_s__won = 1985
<s>[INST] Write mssql query to answer the following question given the database schema. Schema: CREATE TABLE table_name_12 (total INTEGER, country VARCHAR, year_s__won VARCHAR) Question: What is the highest total for Scotland with a year won of 1985? [/INST] SELECT MAX(total) FROM table_name_12 WHERE country = "scotland" AND year_s__won = 1985 </s>