what is the rank when the time is 3:12.40?
CREATE TABLE "heats" (
  "rank" real,
  "heat" real,
  "name" text,
  "nationality" text,
  "time" text
);
SELECT SUM("rank") FROM "heats" WHERE "time"='3:12.40';