definitely generating an invalid nogood
found failing test
nqueens 6 is passing