What is the highest amount of yards when the average is 9.5?
CREATE TABLE "receiving" (
  "player" text,
  "number" real,
  "yards" real,
  "average" real,
  "long" real,
  "touchdowns" real
);
SELECT MAX("yards") FROM "receiving" WHERE "average"=9.5;