What is the highest top-10 that has a u.s. open for the tournament, and a top-25 greater than 12?
CREATE TABLE "summary" (
  "tournament" text,
  "wins" real,
  "top_5" real,
  "top_10" real,
  "top_25" real,
  "events" real,
  "cuts_made" real
);
SELECT MAX("top_10") FROM "summary" WHERE "tournament"='u.s. open' AND "top_25">12;