Task: Program Execution
Input (English): [9.388, 12]
Output (English): [12]