Using [N-]=[N+]=[N-], CNC(=O)c1ccc2c(c1)C(CNC(=O)c1ccc(F)cc1)(C(F)(F)F)OC(=O)N2 to produce O=C1Nc2ccc(-c3nnn[nH]3)cc2C(CNC(=O)c2ccc(F)cc2)(C(F)(F)F)O1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.