minisat+_1.0-4build1_amd64.deb
minisat+_1.0-5build1_amd64.deb