Using Fc1cccc([C@H]2CC[C@H](C3CCC4(CC3)OCCO4)CC2)c1F to produce O=C1CCC([C@H]2CC[C@H](c3cccc(F)c3F)CC2)CC1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.