Using C[S+](C)(C)=O, CC[C@]12CCC(=O)C[C@H]1CCOc1cc3c(cnn3-c3ccnc(C)c3)cc12 to produce CCC12CCC3(CO3)CC1CCOc1cc3c(cnn3-c3ccnc(C)c3)cc12, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.