Using N#Cc1nc(N)nc(Nc2cccc(F)c2F)n1, O=C([O-])[O-] to produce CN(c1nc(N)nc(C#N)n1)c1cccc(F)c1F, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.