Using BrCc1ccccc1, Cc1cc(C)c(O)c(C(CC(C)CC(C)(C)C)c2cc(C)cc(C)c2O)c1 to produce CC1=CC(=C(CC(C)CC(C)(C)C)c2cc(C)cc(C)c2OCc2ccccc2)C(O)C(C)=C1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.