check if solution actually take O(lg n) time; NOT OK