CREATE TABLE table_name_80 (nationality VARCHAR(255), time VARCHAR(255))
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"