Using NS(N)(=O)=O, O=C(C(=O)c1cccc(F)c1)c1cccc(F)c1 to produce O=S1(=O)N=C(c2cccc(F)c2)C(c2cccc(F)c2)=N1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.