Task: Program Execution
Input (English): N, K
Output (English): -1