Testni primeri sedaj preverjajo še DPLL.