Using O=C([O-])[O-], O=c1c2cc(Br)ccc2[nH]c(=S)n1CC1CCCO1 to produce CSc1nc2ccc(Br)cc2c(=O)n1CC1CCCO1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.