Model Counter for SAT instances, based in Minisat 2.2