https://9dok.net/document/z3dxo5n9-empirical-study-anatomy-modern-sat-solvers.html