Using COC(=O)c1cc(Br)c(C=O)c(Br)c1, CC(C)(C)OC(=O)CP(=O)(Oc1ccccc1)Oc1ccccc1 to produce COC(=O)c1cc(Br)c(/C=C\C(=O)OC(C)(C)C)c(Br)c1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.