Comment is outdated, since the code now uses MiniSat.