Question: What is the short name having video of 720p and programming of Main KSTC-TV programming?
SQL: SELECT PSIP Short Name FROM table WHERE Video = 720p AND Programming = main kstc-tv programming