Using BrC1=Cc2ccccc2C1, CC(C)(C)c1cc(Br)cc(C(C)(C)C)c1 to produce CC(C)(C)c1cc(C2=Cc3ccccc3C2)cc(C(C)(C)C)c1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.