Using Cc1cc(C)c(C2C(=O)C=CC2=O)c(C)c1, Brc1ccoc1 to produce Cc1cc(C)c(C2C(=O)C3C4C=C(Br)C(O4)C3C2=O)c(C)c1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.