Using Cc1ccc(S(=O)(=O)OCC2(C)COC2)cc1, NC(=O)c1cc(-c2n[nH]c3cc[nH]c(=O)c23)cs1 to produce CC1(Cn2nc(-c3csc(C(N)=O)c3)c3c(=O)[nH]ccc32)COC1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.