Using CCCCCc1cnc(-c2ccc(C=O)cc2)nc1, BrC(Br)(Br)Br to produce CCCCCc1cnc(-c2ccc(C=C(Br)Br)cc2)nc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.