Using Nc1nc(-c2ccco2)c2cn[nH]c2n1, O=C=NCc1ccccc1 to produce Nc1nc(-c2ccco2)c2cnn(C(=O)NCc3ccccc3)c2n1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.