Using O=C([O-])[O-], N#CCN1Cc2c(ccc(Cl)c2Cl)NC1=NC#N to produce O=C1CN2Cc3c(ccc(Cl)c3Cl)N=C2N1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.