Using Oc1ccc(-c2nc3cc(O)cc(C(Br)CBr)c3o2)cc1 to produce C=C(Br)c1cc(O)cc2nc(-c3ccc(O)cc3)oc12, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.