A search-theoretic model of equilibrium unemployment is constructed and shown to be consistent with the key regularities of the labor market and business cycle. The two distinguishing features of the model are: (i) the decision to accept or reject jobs is modeled explicitly, and (ii) markets are incomplete. The model is well suited to address a number of interesting policy questions. Two such applications are provided: the impact of unemployment insurance, and the welfare costs of business cycles.