Začetek prevajanja na SAT Hadamardovega problema