Add RLT formulation