Using COC(=O)CP(=O)(OC)OC, CC(C)OC(=O)Nc1cc(F)c(C=O)c(F)c1 to produce COC(=O)/C=C/c1c(F)cc(NC(=O)OC(C)C)cc1F, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.