Using O=C1Nc2cccc3c2[C@@]1(CCCCO)CCC3, BrC(Br)(Br)Br to produce O=C1Nc2cccc3c2[C@@]1(CCCCBr)CCC3, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.