Table schema:
CREATE TABLE table_name_3 (tie_no VARCHAR, away_team VARCHAR)

Question: What's the tie number when the away team was Mansfield Town?
SQL: SELECT tie_no FROM table_name_3 WHERE away_team = "mansfield town"