solve {-(a+b+c)<0, a*b + a*c + b*c >0, -abc<0}