What is the highest overall for a round larger than 8 for pavol demitra?
CREATE TABLE "1993_draft_picks" (
  "round" real,
  "overall" real,
  "player" text,
  "nationality" text,
  "club_team" text
);
SELECT MAX("overall") FROM "1993_draft_picks" WHERE "round">8 AND "player"='pavol demitra';