Minimize
 x0 + x1
subject to
 c1: x0 + x1 <= 1
End