Using FC(F)(F)C1(C(F)(F)F)CO1, OCC1CC2C=CC1C2 to produce OC(COCC1CC2C=CC1C2)(C(F)(F)F)C(F)(F)F, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.