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"