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