Using Cc1nc2n(c1C=O)-c1ccc(Cl)cc1C(c1ccccc1Cl)=NC2 to produce Cc1cn2c(n1)CN=C(c1ccccc1Cl)c1cc(Cl)ccc1-2, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.