Using COc1ccc(P2(=S)SP(=S)(c3ccc(OC)cc3)S2)cc1, CCC(=O)Nc1n[nH]c(-c2ccc(F)cc2)c1-c1ccncc1 to produce CCC(=S)Nc1n[nH]c(-c2ccc(F)cc2)c1-c1ccncc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.