Yes, this is a good point. I wonder whether there is a proof to show that a solution exists that doesn't involve brute force.