Using CSc1nccc(-c2c(CC(C)C)nn3ccccc23)n1, O=C([O-])O to produce CC(C)Cc1nn2ccccc2c1-c1ccnc(S(C)=O)n1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.