Using COc1ccccc1C(C)(O)c1cccc(-c2cccc(C(C)(C)C)c2OCc2ccccc2)c1 to produce C=C(c1cccc(-c2cccc(C(C)(C)C)c2OCc2ccccc2)c1)c1ccccc1OC, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.