Using O=CC(=O)O, CCC(C)(C)c1cccc(C(C)(C)CC)c1O to produce CCC(C)(C)C1=CC(=CC(=O)O)C=C(C(C)(C)CC)C1=O, please predict the agent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.