What is the highest year named for the name Tie Fluctus?
CREATE TABLE table_16799784_12 (year_named INTEGER, name VARCHAR)
SELECT MAX(year_named) FROM table_16799784_12 WHERE name = "Tie Fluctus"
<s>[INST] Write mssql query to answer the following question given the database schema. Schema: CREATE TABLE table_16799784_12 (year_named INTEGER, name VARCHAR) Question: What is the highest year named for the name Tie Fluctus? [/INST] SELECT MAX(year_named) FROM table_16799784_12 WHERE name = "Tie Fluctus" </s>