Cbc instead of CoinMP