Ignore _build
CNF formule
Brute force SAT in delno implementiran DPLL