Potts.unisat