Using [NH4+], O=C1OC(c2ccccc2)=NC1=NNc1ccc(Cl)c(COCC(F)(F)C(F)(F)F)c1 to produce NC(=O)c1nc(-c2ccccc2)n(-c2ccc(Cl)c(COCC(F)(F)C(F)(F)F)c2)n1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.