Exactness conjecture. The second semidefinite lifting is exact for CUT∞4\mathrm{CUT}^4_\inftyCUT∞4, i.e.,
