user: Question: What is the short name having video of 720p and programming of Main KSTC-TV programming?
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 "Video" = '720p' AND "Programming" = 'Main KSTC-TV programming';