Using COc1ccc(P2(=S)SP(=S)(c3ccc(OC)cc3)S2)cc1, CC1(C)CC(=O)c2sc(N3CCOCC3)nc2C1 to produce CC1(C)CC(=S)c2sc(N3CCOCC3)nc2C1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.