Using CNC1CCN(c2nccs2)CC1, O=C(O)C#Cc1ccccc1 to produce CN(C(=O)C#Cc1ccccc1)C1CCN(c2nccs2)CC1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.