How to install picosat on Debian Unstable (Sid)