Satisfiabilty problem for Heuristic Problem Solving (NYU Fall 2014)