Using COc1ncc(N)cc1F, C=C(OCC)c1cnc(F)c(-c2cc(N)nc(C)n2)c1 to produce COc1ncc(Nc2ncc(C(C)=O)cc2-c2cc(N)nc(C)n2)cc1F, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.