I encoded it in SMT (source code https://github.com/rdaly525/hnpuzzle https://github.com/rdaly525/hnpuzzle). Fun little challenge! Turns out there are 6 unique

I encoded it in SMT (source code https://github.com/rdaly525/hnpuzzle https://github.com/rdaly525/hnpuzzle). Fun little challenge! Turns out there are 6 unique solutions for [7,5,3] in 6 steps