binarysearch, AC