Using CC1Cc2cc3c(cc2C1=O)C(C)(C)c1ccccc1-3, C[Mg]Br to produce CC1=C(C)c2cc3c(cc2C1)-c1ccccc1C3(C)C, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.