Using COC(=O)c1c(CBr)ccc(Br)c1OC, SC1C2CCC1CC2 to produce COC(=O)c1c(CSC2C3CCC2CC3)ccc(Br)c1OC, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.