Using [N-]=[N+]=[N-], OC[C@@H]1O[C@H]1c1ccc(C(F)(F)F)cc1 to produce [N-]=[N+]=N[C@H](c1ccc(C(F)(F)F)cc1)[C@@H](O)CO, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.