Using COC(=O)c1cc(Br)cc2ccccc12, C=CB1OC(C)(C)C(C)(C)O1 to produce C=Cc1cc(C(=O)OC)c2ccccc2c1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.