Improving MUC extraction thanks to local search