How to remove minisat from Debian 9 (Stretch)