Manpages of minisat+ in Debian wheezy