Using C=CCc1cc(C(C)(C)c2ccc(O)c(CC=C)c2)ccc1O to produce CC=Cc1cc(C(C)(C)c2ccc(O)c(C=CC)c2)ccc1O, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.