Using CC1(C)NC(=O)c2sc(-c3ccnc(S(C)(=O)=O)n3)cc2N1 to produce CC1(C)NC(=O)c2sc(-c3ccncn3)cc2N1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.