Solution of Ulam's problem on binary search with three lies