Napisal sem boljšo prevedbo sudokuja na sat. Ko prevedemo primer t preko te funkcije tchaff vrne napčano rešitev (vrne rešitev, ki ne izpolni formule).