发送短信: Numerical solution of variational inequalities by adaptive finite elements