Using CC(C)=CCBr, CCOC(=O)c1csc(Nc2ccc(C)c(O)c2)n1 to produce CCOC(=O)c1csc(Nc2ccc(C)c(OCC=C(C)C)c2)n1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.