% Testing CAD
% Solotareff's problem (cubic) [Ho92] (in [CJ98], p. 211)

rlset reals;


{}


solo2 := ex({x,y},1<=4*a<=7 and -3<=4*b<=3 and -1<=x<=0 and 0<=y<=1 and
   3*x**2-2*x-a=0 and x**3-x**2-a*x=2*b-a+2 and 3*y**2-2*y-a=0 and
      y**3-y**2-a*y=a-2)$



rlqe solo2;


27*b + 11 = 0 and a - 1 = 0


end;

Tested on alfred running Linux 4.4.38.1.amd64-smp x86_64 CSL
Time (counter 1): 30 ms  plus GC time: 59 ms
1: real 0.35
user 0.24
sys 0.02
