Using O=C(c1ccc(Cl)cc1)c1ccc2c(c1)C(c1cccc(Cl)c1)=NCC(=S)N2, NN to produce NNC1=Nc2ccc(C(=O)c3ccc(Cl)cc3)cc2C(c2cccc(Cl)c2)=NC1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.