Using C1N2CN3CN1CN(C2)C3, Cc1nc2n(n1)C(N)(c1ccccc1)c1cc(Cl)ccc1-2 to produce Cc1nc2n(n1)CN=C(c1ccccc1)c1cc(Cl)ccc1-2, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.