Using COc1ccc(P2(=S)SP(=S)(c3ccc(OC)cc3)S2)cc1, O=C1CN=C(c2ccccn2)c2cc(I)ccc2N1 to produce S=C1CN=C(c2ccccn2)c2cc(I)ccc2N1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.