python3-pycryptosat
