Using O=c1[nH]nc2c3ccccc3n(Cc3ccc(-c4ccccc4)cc3)cc1-2, BrCc1ccccc1 to produce O=c1c2cn(Cc3ccc(-c4ccccc4)cc3)c3ccccc3c-2nn1Cc1ccccc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.