https://123dok.org/document/rz3o0w7z-approximation-of-non-boolean-csp.html