Nsat + 2

N-Sat