Using COc1c(C)cnc(CSc2nc3cc4c(cc3[nH]2)C(C)(C)C(=O)C4(C)C)c1C, CON to produce CON=C1C(C)(C)c2cc3nc(SCc4ncc(C)c(OC)c4C)[nH]c3cc2C1(C)C, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.