Using CS(=O)(=O)C(=C1CN([C@@H](c2ccc(Cl)cc2)c2ccc(CCl)cc2)C1)c1cc(F)cc(F)c1 to produce CS(=O)(=O)C(=C1CNC1)c1cc(F)cc(F)c1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.