Using CC1(C)[C@@H]2CC[C@@]1(CS)[C@@](O)(C#C[Si](C)(C)C)C2 to produce C=C1SC[C@]23CC[C@H](C[C@]12O)C3(C)C, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.