CREATE TABLE table_name_77 (hdtv VARCHAR, television_service VARCHAR)

What is the HDTV for the Rai Nettuno Sat Uno Television service?
SELECT hdtv FROM table_name_77 WHERE television_service = "rai nettuno sat uno"
SELECT "hdtv" FROM "table_name_77" WHERE "rai nettuno sat uno" = "television_service"