Using CCOC(=O)c1cn2c3c([nH]c(=O)c2n1)-c1ccccc1C3, [OH-] to produce O=C(O)c1cn2c3c([nH]c(=O)c2n1)-c1ccccc1C3=O, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.