potts-sat-miqp