solve a+b=BitOr[a,b] and a,b in naturals