How to install minisat+ on Debian Unstable (Sid)