Constrained optimization one explicit constraint