求满足不等式x1+x2+x3