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