Brian / sudoku-solver