Using C=CCC1(CC(=O)O)CCC2(CC1)OCC(C)(C)CO2, O=C([O-])[O-] to produce C=CCC1(CC(=O)OC)CCC2(CC1)OCC(C)(C)CO2, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.