Ramsey policy with occasionally binding constraints

I guess the answer is