Refactored unsat notification in solver.
Removed debug output.
Bugfixes: FD-var handling with infinity
Bugfixes in flatzinc parser.
RELEASE 3.7.3