ok Number 1742 is guessed successfully (range [1..10000]) with 14 queries
