What is the short name of channel 5.5, KSTC-TV?
CREATE TABLE "digital_channels" (
  "channel" real,
  "station" text,
  "video" text,
  "aspect" text,
  "psip_short_name" text,
  "programming" text
);
SELECT "psip_short_name" FROM "digital_channels" WHERE "station"='kstc-tv' AND "channel"=5.5;