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