minisat+_1.0-5_amd64.deb
minisat+_1.0-5_arm64.deb