Manpages of minisat in Debian buster