brute force 2^17