Using COC(=O)[C@@]12CC(C)C1CN(C(=O)OCc1ccccc1)C2 to produce CC1C[C@@]2(C(=O)O)CN(C(=O)OCc3ccccc3)CC12, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.