Two other things you may need to do ...
On the Receiver Menu
Select RX-V463
On the Samsung
It does not appear that your Receiver supports Dolby Digital+ (Or ARC) here is the portion of the TV manual ...
With the Expert Settings you should be able to change to bitstream, PCM, or Dolby...