CREATE TABLE table_name_80 (time_retired VARCHAR, driver VARCHAR)

What is the Time/Retired value for Ludovico Scarfiotti?
SELECT time_retired FROM table_name_80 WHERE driver = "ludovico scarfiotti"
SELECT "time_retired" FROM "table_name_80" WHERE "driver" = "ludovico scarfiotti"