A Neural Algorithm for the Maximum Satisfiability Problem