Visualizing k-SAT problem space