Using COC(=O)[C@@H]1CN(C(=O)OC(C)(C)C)CCN1, N#CO[K] to produce CC(C)(C)OC(=O)N1CCN2C(=O)NC(=O)[C@@H]2C1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.