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