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