Removing extraneous printouts.

	modified:   src/binary_state_solver.cpp