bugfix -- properly handle unsolvable boards