Schema: CREATE TABLE table_name_20 (time VARCHAR, name VARCHAR)
Question: Swimmer Audrey Lacroix finished in what time?
SQL: SELECT time FROM table_name_20 WHERE name = "audrey lacroix"