Using COc1ccc(P2(=S)SP(=S)(c3ccc(OC)cc3)S2)cc1, CNC(=O)c1cc(C(=O)OC(C)(C)C)cc(-c2ccc(C)cn2)c1 to produce CNC(=S)c1cc(C(=O)OC(C)(C)C)cc(-c2ccc(C)cn2)c1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.