Using ClC(Cl)(Cl)c1nc(C(Cl)(Cl)Cl)nc(C(Cl)(Cl)Cl)n1, CC[n+]1c(C)sc2ccccc21 to produce CCN1C(=Cc2nc(C(Cl)(Cl)Cl)nc(C(Cl)(Cl)Cl)n2)Sc2ccccc21, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.