Dodana uporaba DPLLja na Hadamardu.