Using CC(C)(C)OC(=O)n1nc(-c2cccc(F)c2)c2cc(C=O)ccc21, CCOC(=O)CP(=O)(OCC)OCC to produce CCOC(=O)/C=C/c1ccc2c(c1)c(-c1cccc(F)c1)nn2C(=O)OC(C)(C)C, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.