sudokus have the proper size