Using Cn1c(=O)c2c(nc(/C=C/C(=O)OC(C)(C)C)n2C)n(C)c1=O to produce Cn1c(=O)c2c(nc(/C=C/C(=O)O)n2C)n(C)c1=O, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.