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 é Rochester, quando Syracuse é Cardiff Dark Gray Shale, e quando Albany é (Mt. Marion Fm.)?
 ###Tabelas: CREATE TABLE thickness (thickness_id AUTO_INCREMENT PRIMARY KEY, Buffalo VARCHAR, Rochester VARCHAR, Syracuse VARCHAR, Utica VARCHAR, Albany VARCHAR) CREATE TABLE record_progression (record_progression_id AUTO_INCREMENT PRIMARY KEY, Record VARCHAR, Athlete VARCHAR, Nation VARCHAR, Venue VARCHAR, Date VARCHAR) CREATE TABLE singles:_19_finals_8_titles_11_runner-ups (singles:_19_finals_8_titles_11_runner-ups_id AUTO_INCREMENT PRIMARY KEY, Outcome VARCHAR, Year INT, Championship VARCHAR, Surface VARCHAR, Opponent in the final VARCHAR, Score in the final VARCHAR) CREATE TABLE track_listing_cd (track_listing_cd_id AUTO_INCREMENT PRIMARY KEY, Track INT, Song VARCHAR, Author VARCHAR, Worship Leader VARCHAR, Lead Supporting Vocal VARCHAR, Time VARCHAR) CREATE TABLE by_scheduled_passengers_carried_millions (by_scheduled_passengers_carried_millions_id AUTO_INCREMENT PRIMARY KEY, Rank INT, Airline/Holding VARCHAR, Passenger Fleet INT, Current Destinations INT, Alliance/ Association VARCHAR)  
SELECT Rochester FROM thickness WHERE Syracuse = cardiff dark gray shale AND Albany = (mt. marion fm.)