Using BrCc1ccccc1, c1cnc2[nH]cc(-c3c[nH]c4cnccc34)c2c1 to produce c1ccc(Cn2cc(-c3c[nH]c4cnccc34)c3cccnc32)cc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.