user: Question: what is the encoding when the tracks/side is 80  and sectors/track is 11?
Columns: ['Platform', 'Size', 'Density', 'Bytes/ sector', 'Sectors/ track', 'Tracks/ side', 'Sides', 'Capacity', 'Encoding']
Types: ['text', 'text', 'text', 'real', 'text', 'text', 'real', 'text', 'text']
Sample row: ['IBM (3740format)', '8in', 'single', 128.0, '26', '74', 1.0, '250.25KB', 'FM']
SQL:

assistant: SELECT "Encoding" FROM "Table" WHERE "Tracks/ side" = '80' AND "Sectors/ track" = '11';