Using CC1(C)CCC(=O)c2cc(Br)ccc21, CC(C)(C)[Mg]Cl to produce CC(C)(C)C1=CCC(C)(C)c2ccc(Br)cc21, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.