(#irslaoq) … it just finished and brute-force worked. 18 minutes of computing time on my 11 year old machine, single-threaded.