Brute force for 128 not fast enough