Using O=C(Cl)c1ccc(C(Cl)(Cl)Cl)cc1, CC[n+]1c(C)sc2ccccc21 to produce CCN1C(=CC(=O)c2ccc(C(Cl)(Cl)Cl)cc2)Sc2ccccc21, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.