Using C[NH3+], COC(=O)C=C(c1ccc(C#N)cc1)n1ccnc1 to produce CNC(=O)/C=C(\c1ccc(C#N)cc1)n1ccnc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.