https://9dok.net/document/yd7lr7e6-ronalddehaan-iyadkanj-andstefanszeider-fi-ablesubsetsofcnfformulasandcspinstances-ontheparameterizedcomplexityoffindingsmallunsatis-technicalreportac-tr.html