Table schema:
CREATE TABLE table_name_19 (psip_short_name VARCHAR, video VARCHAR, programming VARCHAR)

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"