user: Question: What was the maximum vertical measurement if the horizon measurement is 640?
Columns: ['Vertical', 'Horizontal', 'Aspect ratio', 'Pixel aspect ratio', 'Scanning', 'Frame rate ( Hz )']
Types: ['real', 'real', 'text', 'text', 'text', 'text']
Sample row: [1080.0, 1920.0, '16:9', '1:1', 'progressive', '23.976 24 29.97 30']
SQL:

assistant: SELECT MAX("Vertical") FROM "Table" WHERE "Horizontal" = 640.0;