Using C#C[C@]1(O)[C@H](C)C[C@@H](OC(C)=O)CC1(C)C to produce C#CC1=C(C)C[C@@H](OC(C)=O)CC1(C)C, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.