https://123dok.net/document/q7w7400k-benefits-enhancing-optimization-modulo-theories-sorting-networks-maxsmt.html