Using O=N[O-], CN1C(=O)CN=C(c2ccccc2F)c2cc(N)ccc21 to produce CN1C(=O)CN=C(c2ccccc2F)c2cc([N+]#N)ccc21, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.