binary search demo works