Using COc1cccc2c1CCC1C(C)(CO)C(=O)CCC21C, O=C([O-])O to produce CC1(CO)C(=O)CCC2(C)C3=C(CCC12)C(=O)C=CC3=O, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.