Task: Program Execution
Input (English): [12, 1]
Output (English): [11, -1]