Using CON(C)C(=O)c1c(-c2ccc(Cl)cc2)nsc1-c1ccccc1 to produce O=Cc1c(-c2ccc(Cl)cc2)nsc1-c1ccccc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.