Simultaneously exploiting two formulations: An exact benders decomposition approach. (November 2020)