We could let \(X\) be the set of superoptimal solutions, solutions for which \(c^\top x \geq z^\star\), where