Table schema:
CREATE TABLE table_name_80 (nationality VARCHAR, time VARCHAR)

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