Using O=C(O)C=Cc1ccccc1, CNc1cc(-c2c[nH]c(=O)c(NC3CNC3)c2)ccn1 to produce CNc1cc(-c2c[nH]c(=O)c(NC3CN(C(=O)/C=C/c4ccccc4)C3)c2)ccn1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.