N-sat -32

N-Sat