user: Question: Which Video has a Channel of 25.3?
Columns: ['Channel', 'Video', 'Aspect', 'PSIP Short Name', 'Programming']
Types: ['real', 'text', 'text', 'text', 'text']
Sample row: [25.1, '1080i', '16:9', 'WVIZ-HD', 'Main WVIZ programming / PBS']
SQL:

assistant: SELECT "Video" FROM "Table" WHERE "Channel" = 25.3;