Using C=Cc1ccc(Br)cc1, O=c1c2ccccc2[nH]c2ccccc12 to produce C=Cc1ccc(-c2c3ccccc3nc3ccccc23)cc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.