Using NC(=O)c1cc(-c2nn(C3CCC(=O)CC3)c3cc[nH]c(=O)c23)cs1 to produce NC(=O)c1cc(-c2nn(C3CCC(O)(c4ccccc4)CC3)c3cc[nH]c(=O)c23)cs1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.