Multi-step partitioning combined with SOM neural network-based clustering technique effectively improves SAT solver performance