Adding CryptoMiniSat4