faf1617f44d7632ee9601ebc13887644925dcc01		branch 'master' of https://github.com/nim-lang/sat
d6d992bc2717054cbb99e31df57ab071a4772d35	not-for-merge	branch 'pr_init' of https://github.com/nim-lang/sat
