Using C[S+](C)C, C=C1CCC[C@@H]2CC[C@H]3[C@@H]4[C@@H](C=O)C56OCCOC5(OCCO6)[C@@]4(C)CC[C@@H]3[C@@]12C to produce C=C1CCC[C@@H]2CC[C@H]3[C@@H]4[C@@H](C5CO5)C56OCCOC5(OCCO6)[C@@]4(C)CC[C@@H]3[C@@]12C, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.