Task: Program Execution
Input (English): [-12, 7]
Output (English): [-13, 5]