How to install sat4j on Debian Unstable (Sid)