x = unifReal(-10.0,10.0);
y = unifReal(-5.0,5.0);
z = unifReal(-100.0,100.0);

if (x+y+z <= 3.0) then 
   x = x + 1.; 
   y = y+1.; 
   z= z+1. 
end;
estimateProb(x+y > z+10.)