Minimize
 10 x1 + [ 6 x0*x1 ] / 2
subject to
 c1: 10 x1 + [ x0 * x1 ] <= 10
 c2: 10 x1 + [ x0 * x1] <= 10
 c3: 10 x1 + [x0 * x1 ] <= 10
 c4: 10 x1 + [x0 * x1] <= 10
End