Using Fc1ccc(-c2cc(Cl)c(CBr)c(Cl)c2)cc1, C=CCCC(=O)N1C(=O)OC[C@H]1Cc1ccccc1 to produce C=CC[C@@H](Cc1c(Cl)cc(-c2ccc(F)cc2)cc1Cl)C(=O)N1C(=O)OC[C@H]1Cc1ccccc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.