A Geometric Combinatorial Satisfiability Approach to Automating Free Flight in the Airspace