Using Cc1cc(C(F)(F)F)ccc1Br, C=Cc1cc(OCc2ccccc2)c(OCc2ccccc2)nn1 to produce Cc1cc(C(F)(F)F)ccc1/C=C/c1cc(OCc2ccccc2)c(OCc2ccccc2)nn1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.