solve a+b=BitOr[a,b] and a>=0 and b>=0