This paper analyzes optimal unemployment insurance (UI) over the business cycle. We consider a general matching model of the labor market. For a given UI, the economy is efficient if tightness satisfies a generalized Hosios condition, slack if tightness is too low, and tight if tightness is too...