[Couenne] can COUENNE find a solution for the constraint satisfaction question?

[lili tan]

If I want to solve a constraint satisfaction question, when I set objective function to a constraint, can COUENNE find a solution for the constraint satisfaction question? For example, objective function is min 0   s.t. x1*x2+x3>0 and x2+x1>=7. Can COUENNE find a solution (x1,x2, x3) that satisfy x1*x2+x3>0 and x2+x1>=7?