Using Cc1nc(C)c(C(=O)n2cccn2)s1, Cc1nn(-c2ccccc2)nc1CC#N to produce Cc1nc(C)c(C(O)=C(C#N)c2nn(-c3ccccc3)nc2C)s1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.