x1 * x2 <= 0.5 for x1,x2 from 0 to 2