The 27x27 board is the highest-order board that has been completely
enumerated. In 2016, after more than a year of computation on FPGA,
29,363,495,934,315,694 solutions were enumerated at University of Dresden.
We want ot verify this number and have to run 2.2 million workunits, which
we compute twice. On the progress bar you see 25% of it.
We'll see if we need also a year for this.
