CREATE TABLE table_name_85 (time INT, athlete VARCHAR, lane VARCHAR)

What is the lowest time for Paulo Villar in lane 9?
SELECT MIN(time) FROM table_name_85 WHERE athlete = "paulo villar" AND lane < 9
SELECT MIN("time") FROM "table_name_85" WHERE "athlete" = "paulo villar" AND "lane" < 9