CDCL-based SAT-solver