Using C=C(c1cccc(C(=O)OC)c1)c1cc2c(cc1C)C(C)(C)CCC2(C)C to produce COC(=O)c1cccc(C(C)c2cc3c(cc2C)C(C)(C)CCC3(C)C)c1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.