qmaxsat-bin and minimaxsat-bin