What is the lowest value of INT's with an average more than 25?
CREATE TABLE "defensive" (
  "player" text,
  "sacks" real,
  "int_s" real,
  "yards" real,
  "average" real,
  "long" text
);
SELECT MIN("int_s") FROM "defensive" WHERE "average">25;