CREATE TABLE table_name_80 (nationality VARCHAR, time VARCHAR)

What is the nationality of the athlete with a time of 2:12.56?
SELECT nationality FROM table_name_80 WHERE time = "2:12.56"
SELECT "nationality" FROM "table_name_80" WHERE "2:12.56" = "time"