Using Cn1c(CN2CCN([C@H](C(=O)OC(C)(C)C)C(C)(C)C)C2=O)nc2ccccc21 to produce Cn1c(CN2CCN([C@H](C(=O)O)C(C)(C)C)C2=O)nc2ccccc21, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.