What is the short name having video of 720p and programming of Main KSTC-TV programming?
CREATE TABLE table_name_19 (psip_short_name VARCHAR, video VARCHAR, programming VARCHAR)
SELECT psip_short_name FROM table_name_19 WHERE video = "720p" AND programming = "main kstc-tv programming"
<s>[INST] Write mssql query to answer the following question given the database schema. 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? [/INST] SELECT psip_short_name FROM table_name_19 WHERE video = "720p" AND programming = "main kstc-tv programming" </s>