Using O=c1c2cc3ccccc3cc2[nH]c2cc(O)cc(O)c12, O=C([O-])[O-] to produce CC1(C)C=Cc2c(cc(O)c3c(=O)c4cc5ccccc5cc4[nH]c23)O1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.