Two-user degraded broadcast channel with channel state information at transmitter and message side information at receivers.