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: Qual é o 2012 com um mini em 2009?
 ###Tabelas: CREATE TABLE doubles_finals:_29_12–17 (doubles_finals:_29_12–17_id AUTO_INCREMENT PRIMARY KEY, Outcome VARCHAR, Date VARCHAR, Tournament VARCHAR, Surface VARCHAR, Partner VARCHAR, Opponents in the final VARCHAR, Score VARCHAR) CREATE TABLE  (_id AUTO_INCREMENT PRIMARY KEY, Rank INT, 2008 VARCHAR, 2009 VARCHAR, 2010 VARCHAR, 2011 VARCHAR, 2012 VARCHAR, 2013 VARCHAR) CREATE TABLE greek_cup_finals (greek_cup_finals_id AUTO_INCREMENT PRIMARY KEY, Year VARCHAR, Winner VARCHAR, Runner-up VARCHAR, Score VARCHAR, Venue VARCHAR) CREATE TABLE reconstruction_in_the_british_museum (reconstruction_in_the_british_museum_id AUTO_INCREMENT PRIMARY KEY, Image INT, Smith VARCHAR, Ashmolean INT, Foster INT, Hahland INT, Dinsmoor VARCHAR, Hofkes-Brukker VARCHAR, Harrison VARCHAR, Cooper VARCHAR, BM/Corbett VARCHAR) CREATE TABLE transmissions (transmissions_id AUTO_INCREMENT PRIMARY KEY, Date VARCHAR, Time VARCHAR, Channel VARCHAR, Running Time VARCHAR, Notes VARCHAR)  
SELECT 2012 FROM  WHERE 2009 = mini