Using [N-]=[N+]=[N-], FC(F)(F)COc1ccc(C2CO2)cn1 to produce [N-]=[N+]=NC(CO)c1ccc(OCC(F)(F)F)nc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.