2Sat && review SCCs
travelling salesman problem