Question: What is the short name having video of 720p and programming of Main KSTC-TV programming?
SQL: SELECT psip_short_name FROM table_name_19 WHERE video = "720p" AND programming = "main kstc-tv programming"