Added hash signature to the DEBUG PRINTF in exact_solver.c.
Hash function seams to work properly.