A double-oracle, logic-based Benders decomposition approach to solve the K-adaptability problem. (July 2023)