1: \begin{abstract}

2:   We define and analyse a least-squares finite element method for a first-order reformulation of the obstacle problem.

3:   Moreover, we derive variational inequalities that are based on similar but non-symmetric bilinear forms.

4:   A priori error estimates including the case of non-conforming convex sets are given 

5:   and optimal convergence rates are shown for the lowest-order case.

6:   We provide also a posteriori bounds that can be be used as error indicators in an adaptive algorithm.

7:   Numerical studies are presented.

8: \end{abstract}

9: