Using CCCOc1cc2c(cc1/C(C)=C(/F)CO)C(C(C)(C)C)=CCC2(C)C to produce CCCOc1cc2c(cc1/C(C)=C(/F)C=O)C(C(C)(C)C)=CCC2(C)C, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.