This paper analyzes optimal unemployment insurance over the business cycle in a search model in which unemployment stems from matching frictions (in booms) and job rationing (in recessions). Job rationing during recessions introduces two novel effects ignored in previous studies of optimal...