How to remove minisat+ from Debian Unstable (Sid)