binary search:low<=high