Table schema:
CREATE TABLE table_name_56 (score VARCHAR, tie_no VARCHAR)

Question: What was the score when the Tie no was 9?
SQL: SELECT score FROM table_name_56 WHERE tie_no = "9"