A slow implementation of the DPLL algorithm for solving the SAT problem written in Vala