[smt88]

Another commenter mentioned having written a program that solves it (though not necessarily efficiently).

I think that's what distinguishes the truly excellent/"lazy" coders from the head-down, 9-to-5 types.