Using Nc1c(SC(F)(F)F)nc(Cl)n1-c1c(Cl)cc(C(F)(F)F)cc1Cl to produce FC(F)(F)Sc1cn(-c2c(Cl)cc(C(F)(F)F)cc2Cl)c(Cl)n1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.