What is the lowest time for Paulo Villar in lane 9?
CREATE TABLE "semifinal_1" (
  "rank" real,
  "lane" real,
  "athlete" text,
  "nationality" text,
  "time" real,
  "notes" text
);
SELECT MIN("time") FROM "semifinal_1" WHERE "athlete"='paulo villar' AND "lane"<9;