Using Cc1c(-c2ccc(Br)cc2)[nH]c2ncccc12, O=C=O to produce Cc1c(-c2ccc(C(=O)O)cc2)[nH]c2ncccc12, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.