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 nome tem um ano designado de 2009 e anos até a aposentadoria obrigatória de 13 anos?
 ###Tabelas: CREATE TABLE largest_metropolitan_areas (largest_metropolitan_areas_id AUTO_INCREMENT PRIMARY KEY, Rank INT, Metropolitan area VARCHAR, Country VARCHAR, Population INT, Area (km²) INT, Population Density (People/km²) INT) CREATE TABLE runner-ups_5 (runner-ups_5_id AUTO_INCREMENT PRIMARY KEY, Year INT, Championship VARCHAR, Partnering VARCHAR, Opponents in Final VARCHAR, Score in Final VARCHAR) CREATE TABLE in (in_id AUTO_INCREMENT PRIMARY KEY, Nat. VARCHAR, Name VARCHAR, Moving from VARCHAR, Type VARCHAR, Transfer window VARCHAR, Ends INT, Transfer fee VARCHAR) CREATE TABLE member_states (member_states_id AUTO_INCREMENT PRIMARY KEY, State VARCHAR, Adopted VARCHAR, Population (2011-01-01) VARCHAR, Nominal GDP World Bank, 2009 (million USD) INT, Relative GDP of total (nominal) VARCHAR, GDP per capita World Bank, 2009 nominal (USD) INT) CREATE TABLE current_composition (current_composition_id AUTO_INCREMENT PRIMARY KEY, Name VARCHAR, Rank VARCHAR, Years until mandatory retirement VARCHAR, Appointed by VARCHAR, Year appointed INT)  
SELECT Name FROM current_composition WHERE Year appointed = 2009 AND Years until mandatory retirement = 13 years