Using COC1c2cc(C)c(C)c(CCC3(O)Cc4ccccc4C3)c2CC1C to produce CC1=Cc2cc(C)c(C)c(CCC3=Cc4ccccc4C3)c2C1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.