Using O=C1C[C@@H](C=C(F)F)CN1, CCC(C)(Br)C(=O)OC to produce CCC(C(=O)OC)N1C[C@H](C=C(F)F)CC1=O, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.