Identification Of Hard Instances And Backbones In 3-Sat Using Network Theory And Network Guided Decomposition