Using COc1cccc(S)c1, CC1=Cc2cc(Br)ccc2OC1(C)C to produce COc1cccc(Sc2ccc3c(c2)C=C(C)C(C)(C)O3)c1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.