NLSAT STRATEGY