reduction working
2sat with full code, not yet working
2 sat problem