changed naive search bound to 128 instead of 1000