Python -M Pip Install Pycosat For Mac