<s>[INST] A machine produces two items at a time, but it can produce at different rates. It can produce 6 items per minute at "normal" rate and 3 items per minute at "reduced" rate. The machine currently has 8 items in stock, and we want to control the machine such that the number of items in stock stays between 5 and 9.[/INST]