minisat or ubcsat not found on www.satlib.org. Maybe go to the cached version of that page on archive.org