Using Fc1ccc(CBr)c(CCBr)c1F, O=C1CCc2ccc(Br)cc21 to produce O=C1c2cc(Br)ccc2CC12CCc1c(ccc(F)c1F)C2, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.