perfect hash
	modified:   solver.c