Using COC(=O)Nc1nc2cc(C(=O)c3ccc(F)cc3)ccc2[nH]1, CON to produce CON=C(c1ccc(F)cc1)c1ccc2[nH]c(NC(=O)OC)nc2c1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.