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