https://9dok.net/document/y9648epv-strong-lower-bounds-for-survivable-network-design-problem.html