Solving Sudoku no 539 (Unsolvable) in Andrew Stuart's Grader and Solver

This is how far Andrew Stuart's grader and solver got when solving this puzzle:

At this point I used the Solution Count as suggested: