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