Using CC(C)=Cc1cnc2c(c1)c(-c1csc(C3CCN(C)CC3)n1)cn2S(=O)(=O)c1ccccc1 to produce CC(C)Cc1cnc2c(c1)c(-c1csc(C3CCN(C)CC3)n1)cn2S(=O)(=O)c1ccccc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.