Using [NH4+], O=c1ccn2nc(Cl)ccc2c1-c1c(F)cccc1F to produce Nc1ccc2c(-c3c(F)cccc3F)c(=O)ccn2n1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.