neuralnetwork.sat