https://123dok.net/document/q5mp772j-differential-approximation-min-sat-max-sat-related-problems.html