How to remove minisat2 from Debian Unstable (Sid)