Tight Exponential Strong Converse for Source Coding Problem with Encoded Side Information.