AC: binary search with candidate