Using COC(=O)c1cc2oc(C=O)cc2n1Cc1ccc(Cl)c(Cl)c1, [NH3+]O to produce COC(=O)c1cc2oc(C#N)cc2n1Cc1ccc(Cl)c(Cl)c1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.