Fixed bug in HasSolution()