Using c1ccc2cc(-c3c4ccccc4cc4ccccc34)ccc2c1, BrBr to produce Brc1c2ccccc2c(-c2ccc3ccccc3c2)c2ccccc12, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.