Text this: Hybrid Ant Colony Optimization For Two Satisfiability Programming In Hopfield Neural Network