https://github.com/maxtuno/slime-sat-solver/tree/master/SLIME5-binary