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 peso médio do corpo quando o snatch é 80?
 ###Tabelas: CREATE TABLE transmitters (transmitters_id AUTO_INCREMENT PRIMARY KEY, City of license VARCHAR, Identifier VARCHAR, Frequency VARCHAR, Power VARCHAR, Class VARCHAR, RECNet VARCHAR) CREATE TABLE wnit_player_stats (wnit_player_stats_id AUTO_INCREMENT PRIMARY KEY, Player VARCHAR, Games Played INT, Minutes INT, Field Goals INT, Three Pointers INT, Free Throws INT, Rebounds INT, Assists INT, Blocks INT, Steals INT, Points INT) CREATE TABLE s–e_voting_system_result (s–e_voting_system_result_id AUTO_INCREMENT PRIMARY KEY, Eviction No. INT, Nominee VARCHAR, Vote to Save VARCHAR, Vote to Evict VARCHAR, Net vote VARCHAR, Eviction result VARCHAR) CREATE TABLE 1993_draft_picks (1993_draft_picks_id AUTO_INCREMENT PRIMARY KEY, Round INT, Overall INT, Player VARCHAR, Nationality VARCHAR, Club team VARCHAR) CREATE TABLE lightweight___58_kg (lightweight___58_kg_id AUTO_INCREMENT PRIMARY KEY, Name VARCHAR, Bodyweight INT, Snatch INT, Clean & jerk INT, Total (kg) VARCHAR)  
SELECT AVG Bodyweight FROM lightweight___58_kg WHERE Snatch = 80