Abaixo está uma instrução que descreve uma tarefa de geração de SQL, combinada com uma entrada que fornece mais contexto sobre os esquemas de tabela disponíveis. Escreva o código SQL que responda adequadamente à solicitação
 ###Instrução: Onde o jogo foi jogado quando o time visitante marcou 12.5 (77)?
 ###Tabelas: CREATE TABLE provinces_since_the_division_of_korea (provinces_since_the_division_of_korea_id AUTO_INCREMENT PRIMARY KEY, RR Romaja VARCHAR, M–R Romaja VARCHAR, Hangul/Chosongul VARCHAR, Hanja VARCHAR, ISO VARCHAR, Area VARCHAR, Capital VARCHAR, Region VARCHAR, Country VARCHAR) CREATE TABLE round_13 (round_13_id AUTO_INCREMENT PRIMARY KEY, Home team VARCHAR, Home team score VARCHAR, Away team VARCHAR, Away team score VARCHAR, Venue VARCHAR, Crowd INT, Date VARCHAR) CREATE TABLE aerial_victories (aerial_victories_id AUTO_INCREMENT PRIMARY KEY, Date VARCHAR, Unit INT, Aircraft VARCHAR, Opponent VARCHAR, Location VARCHAR) CREATE TABLE top_scorers_in_uefa_club_competitions (top_scorers_in_uefa_club_competitions_id AUTO_INCREMENT PRIMARY KEY, Rank INT, Player VARCHAR, Goals INT, Games INT, Debut in Europe INT) CREATE TABLE west (west_id AUTO_INCREMENT PRIMARY KEY, Name VARCHAR, Faith VARCHAR, Type VARCHAR, Intake INT, DCSF number INT, Ofsted number INT)  
SELECT Venue FROM round_13 WHERE Away team score = 12.5 (77)