Using O=S(=O)(OCC(F)F)C(F)(F)F, Oc1cnccc1-c1nc2cc(C(F)(F)F)cnc2o1 to produce FC(F)COc1cnccc1-c1nc2cc(C(F)(F)F)cnc2o1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.