[math-fun] Polyomino non-tiling problem