Solve Su Doku as a SAT problem