Using O=C(O)c1cc(C(=O)O)c2[nH]oc(=O)c2c1, O=C([O-])[O-] to produce Cn1oc(=O)c2cc(C(=O)O)cc(C(=O)O)c21, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.