Using O=Cc1cccnc1, Cc1nc2sccn2c(=O)c1-c1ccc(C#N)cc1 to produce N#Cc1ccc(-c2c(/C=C/c3cccnc3)nc3sccn3c2=O)cc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.