Using O=C1CCC(=O)N1Br, Cc1cnc(C(=O)Cn2cccc2C(=O)C(Cl)(Cl)Cl)cn1 to produce Cc1cnc(C(=O)Cn2cc(Br)cc2C(=O)C(Cl)(Cl)Cl)cn1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.