Dodane Hadamardove matrike, popravljen kubični SAT solver.