What is the HDTV for the Rai Nettuno Sat Uno Television service?
CREATE TABLE table_name_77 (hdtv VARCHAR, television_service VARCHAR)
SELECT hdtv FROM table_name_77 WHERE television_service = "rai nettuno sat uno"
### Context: CREATE TABLE table_name_77 (hdtv VARCHAR, television_service VARCHAR) ### Question: What is the HDTV for the Rai Nettuno Sat Uno Television service? ### Answer: SELECT hdtv FROM table_name_77 WHERE television_service = "rai nettuno sat uno"