Using O=S(=O)(Cl)Cl, CON1CCC2(CC1)C(O)=C(c1cc(C)ccc1C)C(=O)N2C to produce CON1CCC2(CC1)C(=O)C(Cl)(c1cc(C)ccc1C)C(=O)N2C, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.