Using S=P12SP3(=S)SP(=S)(S1)SP(=S)(S2)S3, CC(C)(C)C(c1c[nH]c2ccccc12)[C@@H](OC(N)=O)C(N)=O to produce CC(C)(C)C(c1c[nH]c2ccccc12)[C@@H](OC(N)=O)C(N)=S, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.