Using [N-]=[N+]=NC1N=C(c2ccccc2)c2ccccc2N(CC(F)(F)F)C1=O to produce NC1=CN(CC(F)(F)F)c2ccccc2C(c2ccccc2)=N1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.