Question: What is the short name of channel 5.5, KSTC-TV?
SQL: SELECT psip_short_name FROM table_name_95 WHERE station = "kstc-tv" AND channel = 5.5