current.verbeek
minisat+_1.0-5/