Using CON, Cc1cc(C(F)(F)F)nn1CC(=O)N1CCC(c2nc(C(=O)C=Cc3c(F)cccc3F)cs2)CC1 to produce CON=C(C=Cc1c(F)cccc1F)c1csc(C2CCN(C(=O)Cn3nc(C(F)(F)F)cc3C)CC2)n1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.