Existence and Uniqueness for the Obstacle Problem