Local Optima Topology for the 3-SAT Problem