bugfix.
	modified:   solver.c