A lewy-stampacchia estimate for variational inequalities in the heisenberg group