some crazy algorithm for hypergraph partitioning
multilevel hypergraph partitioning
partitioning sudoku cnf, print cut variable names