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 tempo máximo para o nadador da África do Sul que estava em uma raia maior que 3?
 ###Tabelas: CREATE TABLE g4 (g4_id AUTO_INCREMENT PRIMARY KEY, Year INT, Game VARCHAR, Genre VARCHAR, Platform(s) VARCHAR, Developer(s) VARCHAR) CREATE TABLE semifinal_2 (semifinal_2_id AUTO_INCREMENT PRIMARY KEY, Rank INT, Lane INT, Name VARCHAR, Nationality VARCHAR, Time INT) CREATE TABLE involvement_in_military_conflicts (involvement_in_military_conflicts_id AUTO_INCREMENT PRIMARY KEY, Start of conflict INT, End of conflict VARCHAR, Conflict VARCHAR, Continent VARCHAR, Location VARCHAR, Branches involved VARCHAR) CREATE TABLE croatia (croatia_id AUTO_INCREMENT PRIMARY KEY, Name VARCHAR, Pos. VARCHAR, Height VARCHAR, Weight VARCHAR, Date of Birth VARCHAR, Club VARCHAR) CREATE TABLE doubles:_13_8–5 (doubles:_13_8–5_id AUTO_INCREMENT PRIMARY KEY, Outcome VARCHAR, Date VARCHAR, Tournament VARCHAR, Surface VARCHAR, Partner VARCHAR, Opponents in the final VARCHAR, Score in the final VARCHAR)  
SELECT MAX Time FROM semifinal_2 WHERE Nationality = south africa AND Lane > 3