Using CC1(C(=O)Nc2cnc(N)nc2-n2ncc3ccc(I)cc32)COC1, C#CC(C)(O)c1nccs1 to produce CC1(C(=O)Nc2cnc(N)nc2-n2ncc3ccc(C#CC(C)(O)c4nccs4)cc32)COC1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.