GUESS-NUMBER-BOOLEAN