sudokusolver bash script running solve.sml.