Using COC(=O)C=C1CN2C(=O)N(c3cc(Cl)cc(Cl)c3)C(=O)C2(Cc2ccc(Br)cc2)C1 to produce O=C(O)CC1=CC2(Cc3ccc(Br)cc3)C(=O)N(c3cc(Cl)cc(Cl)c3)C(=O)N2C1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.