user: Question: What is the aspect ration when the max fps HDRx is 80?
Columns: ['Frame size', 'Width', 'Height', 'Mpix', 'Aspect Ratio', 'max. fps', 'max. fps HDRx', 'lowest possible REDCODE at 24 fps', 'lowest possible REDCODE at max. fps']
Types: ['text', 'real', 'real', 'real', 'text', 'real', 'real', 'text', 'text']
Sample row: ['5K', 5120.0, 2700.0, 13.8, '1.9:1', 96.0, 48.0, '3:1', '12:1']
SQL:

assistant: SELECT "Aspect Ratio" FROM "Table" WHERE "max. fps HDRx" = 80.0;