Using CON, CC(C)(C)OC(=O)N[C@H]1CC(=O)CC[C@H]1NC(=O)OC(C)(C)C to produce CON=C1CC[C@@H](NC(=O)OC(C)(C)C)[C@@H](NC(=O)OC(C)(C)C)C1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.