GenSAT: A Navigational Approach