Using O=C1OC(c2ccccc2)(c2ccccc2)CC(O)=C1Br, Cc1cccc(S)c1 to produce Cc1cccc(SC2=C(O)CC(c3ccccc3)(c3ccccc3)OC2=O)c1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.