Which Score has a Total of 80–72?
CREATE TABLE "pool_f" (
  "date" text,
  "time" text,
  "score" text,
  "set_1" text,
  "set_2" text,
  "set_3" text,
  "total" text
);
SELECT "score" FROM "pool_f" WHERE "total"='80–72';