2019-02-26 Solving Sudokus with msat