Using Clc1ccc(C=CCBr)s1, CC1CN(Cc2ccc3c(Cl)ccnc3c2)C(=O)[C@H](C)N1 to produce C[C@@H]1CN(Cc2ccc3c(Cl)ccnc3c2)C(=O)[C@H](C)N1CC=Cc1ccc(Cl)s1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.