I would have probably selected Satral over Pavlasek and then put Satral on court instead of Rosol. Although in retrospect, I think Rosol against Haase and Satral against De Bakker would have made the most sense. De Bakker struggles more against players who are solid on the baseline, whereas Haase clearly struggled against the power-hitting of Rosol.
I would not have put Pavlasek on court unless everyone else (bar Jebavy) was injured.
Are you serious about Satral, he's been terrible this year, no way would I put him on the team, hasn't played much DC and when has has not done well. Adam and Rosol are both better options most certainly, both are former top 100. Obv great if Berdych decided to play, guess he's retired from DC now.