Abaixo está uma instrução que descreve uma tarefa de geração de SQL, combinada com uma entrada que fornece mais contexto sobre os esquemas de tabela disponíveis. Escreva o código SQL que responda adequadamente à solicitação
 ###Instrução: Qual é o nome abreviado que tem vídeo de 720p e programação de programação principal da KSTC-TV?
 ###Tabelas: CREATE TABLE list_of_special_representatives (list_of_special_representatives_id AUTO_INCREMENT PRIMARY KEY, Name VARCHAR, Born-Died VARCHAR, Took Office VARCHAR, Left Office VARCHAR, Country VARCHAR) CREATE TABLE tv_stations (tv_stations_id AUTO_INCREMENT PRIMARY KEY, Channel INT, Digital Channel VARCHAR, Call sign VARCHAR, Affiliation VARCHAR, Owner VARCHAR) CREATE TABLE digital_channels (digital_channels_id AUTO_INCREMENT PRIMARY KEY, Channel INT, Station VARCHAR, Video VARCHAR, Aspect VARCHAR, PSIP Short Name VARCHAR, Programming VARCHAR) CREATE TABLE prizes_and_awards (prizes_and_awards_id AUTO_INCREMENT PRIMARY KEY, Year INT, Director VARCHAR, Project VARCHAR, Category VARCHAR, Result VARCHAR) CREATE TABLE by_population_density (by_population_density_id AUTO_INCREMENT PRIMARY KEY, Rank INT, Province VARCHAR, Population INT, Area INT, Density INT)  
SELECT PSIP Short Name FROM digital_channels WHERE Video = 720p AND Programming = main kstc-tv programming