Using FC(F)(F)c1cc(-c2cccs2)n(-c2ccccc2Cl)n1, O=S(=O)(O)Cl to produce O=S(=O)(O)c1ccc(-c2cc(C(F)(F)F)nn2-c2ccccc2Cl)s1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.