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