Using FC(F)(F)Oc1ccc(CCBr)cc1, O=C1CCC(C2CCC(CCF)CC2)CC1 to produce FCCC1CCC(C2CC=C(CCc3ccc(OC(F)(F)F)cc3)CC2)CC1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.