Using c1cc2cc3c(cc2[nH]1)OCO3, O=C1NC(=O)C(Br)=C1Br to produce O=C1NC(=O)C(c2c[nH]c3cc4c(cc23)OCO4)=C1Br, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.