user: Question: What is the short name of channel 5.5, KSTC-TV?
Columns: ['Channel', 'Station', 'Video', 'Aspect', 'PSIP Short Name', 'Programming']
Types: ['real', 'text', 'text', 'text', 'text', 'text']
Sample row: [5.1, 'KSTP-TV', '720p', '16:9', 'KSTPDT1', 'Main KSTP-TV programming / ABC']
SQL:

assistant: SELECT "PSIP Short Name" FROM "Table" WHERE "Station" = 'KSTC-TV' AND "Channel" = 5.5;