Using CCOC(=O)C(F)P(=O)(OCC)OCC, COc1c(C(C)=O)cc2c(c1Br)C(C)(C)CC=C2C(C)C to produce CCOC(=O)/C(F)=C(/C)c1cc2c(c(Br)c1OC)C(C)(C)CC=C2C(C)C, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.