Can 8 × 8 board be tiled with 15 horizontal and 17 vertical rectangles of 1 × 2? · Combinatorics | Problems