algsp1: BinarySearch