I believe on the samsung 6 series you have to set a profile for each input in the settings menu to use the HDMI input, to digital and PAL. Don't use Secam or NTSC.
From the satellite receiver you only need the HDMI cable all others should be disconnected. On the sat receiver output menu you...