python3 -m pip install pycosat -q