binary_search with no luck