N-sat -26

N-Sat