! H. Arsham
! http://home.ubalt.edu/ntsbarsh/opre640a/partvi.htm 
! Search "Kant", then Numerical Examples
! Solution: y1=y2=1/2, v=2.5
min v
st
4y1 + y2 +3y3 -v < 0
2y1 +3y2 +4y3 -v < 0
 y1 + y2 + y3 = 1
end