Using ClC(Cl)(Cl)C(Cl)(Cl)Cl, CC(=O)c1ccc(Cn2cc3c(n2)N2CC(C)(C)N=C2N(C)C3=O)cc1 to produce CC(=O)c1ccc(Cn2nc3c(c2Cl)C(=O)N(C)C2=NC(C)(C)CN23)cc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.