What is the Time/Retired value for Ludovico Scarfiotti?
CREATE TABLE table_name_80 (time_retired VARCHAR, driver VARCHAR)
SELECT time_retired FROM table_name_80 WHERE driver = "ludovico scarfiotti"
<s>[INST] Write mssql query to answer the following question given the database schema. Schema: CREATE TABLE table_name_80 (time_retired VARCHAR, driver VARCHAR) Question: What is the Time/Retired value for Ludovico Scarfiotti? [/INST] SELECT time_retired FROM table_name_80 WHERE driver = "ludovico scarfiotti" </s>