How many Laps have a Driver of satrio hermanto?
CREATE TABLE "main_race" (
  "team" text,
  "driver" text,
  "laps" real,
  "time" text,
  "grid" real
);
SELECT SUM("laps") FROM "main_race" WHERE "driver"='satrio hermanto';