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