How to install minisat2 on Debian Unstable (Sid)