module Main where

import Sudoku
unique :: Board -> Bool
unique b = case solve b of
             [_] -> True
             _   -> False

main :: IO ()
main = do txt <- readFile "sudoku17"
          let lns = lines txt
          print $ all unique $ map readBoard lns