Using COC(=O)CP(=O)(OC)OC, O=Cc1ccc(NC(=O)OCc2ccccc2)cc1F to produce COC(=O)/C=C/c1ccc(NC(=O)OCc2ccccc2)cc1F, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.