CREATE TABLE table_31557 ("Year" FLOAT, "Tournament" TEXT, "Venue" TEXT, "Result" TEXT, "Extra" TEXT)

What Tournament did he place 12th in?
SELECT "Tournament" FROM table_31557 WHERE "Result" = '12th'
SELECT "Tournament" FROM "table_31557" WHERE "Result" = '12th'