CREATE TABLE table_12237 ("Rank" FLOAT, "Athlete" TEXT, "Nanquan" FLOAT, "Nangun" FLOAT, "Total" FLOAT)

WHAT IS THE TOTAL WITH A NANQUAN OF 9.72, RANK BIGGER THAN 3, NANGUN SMALLER THAN 9.5?
SELECT MIN("Total") FROM table_12237 WHERE "Nanquan" = '9.72' AND "Rank" > '3' AND "Nangun" < '9.5'
SELECT MIN("Total") FROM "table_12237" WHERE "Nangun" < '9.5' AND "Nanquan" = '9.72' AND "Rank" > '3'