question: What is the highest total for Scotland with a year won of 1985?
answer: SELECT MAX(total) FROM table_name_12 WHERE country = "scotland" AND year_s__won = 1985
context: CREATE TABLE table_name_12 (total INTEGER, country VARCHAR, year_s__won VARCHAR)