Manual exposure for sure, as for the solution, well is just a balance, if the contrast is so bad that you either clip the shadows or the highlights then you need to decide which is more important. I would use zebra stripes and then decide how much to allow the sky to clip. However there is...