Added imports to make Sudoku benckmark compile; still does not compile
yet.