We are interested in optimal control of variational inequalities. We derive sharp necessary optimality conditions in case we do not impose state constraints and fuzzy optimality conditions in presence of such constraints.