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 horário com um registro que é 15-7?
 ###Tabelas: CREATE TABLE main_songlist (main_songlist_id AUTO_INCREMENT PRIMARY KEY, Track INT, Song Title VARCHAR, Artist VARCHAR, Album VARCHAR, Legends Track? VARCHAR) CREATE TABLE winners_of_the_allaire_dupont_distaff_stakes_since_1992 (winners_of_the_allaire_dupont_distaff_stakes_since_1992_id AUTO_INCREMENT PRIMARY KEY, Year INT, Winner VARCHAR, Jockey VARCHAR, Trainer VARCHAR, Owner VARCHAR, Distance VARCHAR, Time VARCHAR, Purse VARCHAR) CREATE TABLE mixed_martial_arts_record (mixed_martial_arts_record_id AUTO_INCREMENT PRIMARY KEY, Res. VARCHAR, Record VARCHAR, Opponent VARCHAR, Method VARCHAR, Event VARCHAR, Round INT, Time VARCHAR, Location VARCHAR) CREATE TABLE 1890_1904 (1890_1904_id AUTO_INCREMENT PRIMARY KEY, Class VARCHAR, Wheels VARCHAR, Date VARCHAR, No. built INT, Loco Nos. VARCHAR, Comments VARCHAR) CREATE TABLE religion (religion_id AUTO_INCREMENT PRIMARY KEY, Ethnicity VARCHAR, Islam VARCHAR, Christianity VARCHAR, Judaism VARCHAR, Buddhism VARCHAR, Other VARCHAR, Atheism VARCHAR)  
SELECT Time FROM mixed_martial_arts_record WHERE Record = 15-7