2 sat
2sat and tsp