Change the default board size to 14 as advocated by John Forbes Nash Jr.