Using NC(=O)C(N)c1ccc(Cl)cc1Cl, O=C(C(Br)Br)C(F)(F)F to produce O=c1[nH]c(C(F)(F)F)cnc1-c1ccc(Cl)cc1Cl, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.