Using CC1=C(c2cccc3sccc23)N2CCN=C2S1, O=C([O-])O to produce CC1=C(c2cccc3sc(C)cc23)N2CCN=C2S1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.