What is the smallest average for the player with 13 matches and fewer than 7 catches?
CREATE TABLE "batting_averages" (
  "player" text,
  "matches" real,
  "inns" real,
  "runs" real,
  "high_score" real,
  "average" real,
  "catches" real,
  "stump" real
);
SELECT MIN("average") FROM "batting_averages" WHERE "matches"=13 AND "catches"<7;