build program: make clean all running: ./bin/sudoku_solver test/example_9x9.txt /tmp/1 minisat/MiniSat_v1.14_linux