Using O=S(=O)(c1cc(Cl)c(Cl)cc1S(=O)(=O)C(F)(F)F)C(F)(F)F, CSc1ccc(B(O)O)cc1 to produce CSc1ccc(-c2cc(Cl)c(Cl)cc2S(=O)(=O)C(F)(F)F)cc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.