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