Using O=C(O)C=Cc1ccc(Cl)c(Cl)c1, CN(C)C1CCN(c2nc3ccc(N)cc3s2)C1 to produce CN(C)C1CCN(c2nc3ccc(NC(=O)C=Cc4ccc(Cl)c(Cl)c4)cc3s2)C1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.