user: Question: What's the highest lane of rank 4 with a time less than 24.72?
Columns: ['Rank', 'Lane', 'Name', 'Nationality', 'Time']
Types: ['real', 'real', 'text', 'text', 'real']
Sample row: [1.0, 3.0, 'Britta Steffen', 'Germany', 24.43]
SQL:

assistant: SELECT MAX("Lane") FROM "Table" WHERE "Time" < 24.72 AND "Rank" = 4.0;