Using Cn1c(-c2ccc(F)cc2)cc(=Nc2ccccc2)n(C)c1=O, c1c[n-]cn1 to produce Cn1c(-c2ccc(-c3ncc[nH]3)cc2)cc(=Nc2ccccc2)n(C)c1=O, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.