5 <= a+b <= 10;a>=0;b>=0;