https://github.com/stp/minisat 14c78206cd12d1d36b7e042fa758747c135670a4