Using Fc1cc(C2=CCC3(CC2)OCCO3)cc(F)c1C(F)(F)F to produce Fc1cc(C2CCC3(CC2)OCCO3)cc(F)c1C(F)(F)F, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.