This encoding uses BDD variables for each POSITION
to encode which tile is on it. It has MUCH better
performance than the puzzle1 encoding !!
