Fixing div-by-zero in CryptoMiniSat