What was the score when the tie no was 12?
CREATE TABLE table_name_72 (score VARCHAR, tie_no VARCHAR)
SELECT score FROM table_name_72 WHERE tie_no = "12"
<s>[INST] Write mssql query to answer the following question given the database schema. Schema: CREATE TABLE table_name_72 (score VARCHAR, tie_no VARCHAR) Question: What was the score when the tie no was 12? [/INST] SELECT score FROM table_name_72 WHERE tie_no = "12" </s>