Neural networks and the satisfiability problem