Using C#Cc1ccccc1, CN1CC2=C(n3cnc(I)c3C1)S(=O)C=C2 to produce CN1Cc2ccsc2-n2cnc(C#Cc3ccccc3)c2C1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.