CREATE TABLE table_name_19 (psip_short_name VARCHAR(255), video VARCHAR(255), programming VARCHAR(255))
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"