Using S=P12SP3(=S)SP(=S)(S1)SP(=S)(S2)S3, COc1cc2[nH]ccc(=O)c2cc1OC to produce COc1cc2[nH]ccc(=S)c2cc1OC, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.