Comment by bmenrigh

If someone wants to beat me to either a solution, or proving no solutions exists, then by all means :-)

I think it's an extraordinarily hard problem computationally, even with exceptional theoretical backing.

Where people may be able to beat me is if no solution exists-- there may be some highly nontrivial, but findable unsatisfiability argument.