https://9dok.net/document/zgwj05pn-polynomial-recognition-minimal-unsatisfiable-formulas-clause-variable-difference.html