Perceptron Learning of SAT