Matrix problem to sat and backtracking matrix solver added. Code messayyy