--mcsat --trace mcsat::bv::conflict::check