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
Below are sql tables schemas paired with instruction that describes a task. Using valid SQLite, write a response that appropriately completes the request for the provided tables. ### Instruction: What is the highest total for Scotland with a year won of 1985? ### Input: CREATE TABLE table_name_12 (
    total INTEGER,
    country VARCHAR,
    year_s__won VARCHAR
) ### Response: SELECT MAX(total) FROM table_name_12 WHERE country = "scotland" AND year_s__won = 1985