Using O=C(NC1c2sccc2OCC1O)c1ccc(C(F)(F)F)cc1, O=[N+]([O-])O to produce O=C(NC1C(O)=COC2=C1SC([N+](=O)[O-])C2)c1ccc(C(F)(F)F)cc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.