Using CCOC(=O)CP(=O)(OCC)OCC, Cn1cc2c(C=O)c(F)ccc2n1 to produce CCOC(=O)/C=C/c1c(F)ccc2nn(C)cc12, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.