A Neural Circuit for the Maximum 2-Satisfiability Problem