Using CCS(=O)(=O)N1CCN(c2cnc3ncn(C)c(=O)c3n2)CC1, [OH-] to produce CCS(=O)(=O)N1CCN(c2cnc(N)c(C(=O)O)n2)CC1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.