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