Using Br[Mg]C1CC1, BrC1=Cc2c(cccc2-c2ccccc2-c2ccccc2)C1 to produce C1=C(C2CC2)Cc2cccc(-c3ccccc3-c3ccccc3)c21, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.