CREATE TABLE table_name_72 (score VARCHAR(255), tie_no VARCHAR(255))
What was the score when the tie no was 12?
    
SQL: SELECT score FROM table_name_72 WHERE tie_no = "12"