Using Nc1ncc(Cl)cc1-c1ccc(Oc2ncccc2C(F)(F)F)cc1, O=S(=O)(Cl)CCCl to produce O=S1(=O)CCN2C=C(Cl)C=C(c3ccc(Oc4ncccc4C(F)(F)F)cc3)C2=N1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.