nae-3-sat