Task: Program Execution
Input (English): n, k
Output (English): -1