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: Quantas voltas tem um piloto de Satrio Hermanto?
 ###Tabelas: CREATE TABLE nascar_nationwide_series (nascar_nationwide_series_id AUTO_INCREMENT PRIMARY KEY, Year INT, Starts INT, Wins INT, Top 10 INT, Poles INT, Avg. Start VARCHAR, Avg. Finish VARCHAR, Winnings VARCHAR, Position VARCHAR, Team(s) VARCHAR) CREATE TABLE recordings (recordings_id AUTO_INCREMENT PRIMARY KEY, Pianist VARCHAR, Conductor VARCHAR, Record Company VARCHAR, Year of Recording INT, Format VARCHAR) CREATE TABLE main_race (main_race_id AUTO_INCREMENT PRIMARY KEY, Team VARCHAR, Driver VARCHAR, Laps INT, Time VARCHAR, Grid INT) CREATE TABLE clubs_stadiums_and_locations (clubs_stadiums_and_locations_id AUTO_INCREMENT PRIMARY KEY, Team VARCHAR, City VARCHAR, State VARCHAR, Home venue VARCHAR, Capacity INT) CREATE TABLE week_6_july_16_2008 (week_6_july_16_2008_id AUTO_INCREMENT PRIMARY KEY, Couple VARCHAR, Style VARCHAR, Music VARCHAR, Choreographer(s) VARCHAR, Results VARCHAR)  
SELECT SUM Laps FROM main_race WHERE Driver = satrio hermanto