Using COC(=O)C1(NC(=O)OC(C)(C)C)CCN(c2ncnc3c2c(C2CC2)cn3S(=O)(=O)c2ccc(C)cc2)CC1 to produce CC(C)(C)OC(=O)NC1(C(=O)O)CCN(c2ncnc3[nH]cc(C4CC4)c23)CC1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.