What is the average number of silver medals won among nations that won 9 medals total?
CREATE TABLE "overall" (
  "rank" text,
  "nation" text,
  "gold" real,
  "silver" real,
  "bronze" real,
  "total" real
);
SELECT AVG("silver") FROM "overall" WHERE "total"=9;