How to install minisat on Debian Unstable (Sid)