https://123dok.net/document/q2n71p82-experimental-evaluation-max-sat-solvers-subscription-planning-problems.html