Using O=C(O)c1ccccc1C(=O)O, C=C1CCN(C(=O)OC(C)(C)C)CC1 to produce CC(C)(C)OC(=O)N1CCC2(CC1)CO2, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.