k71.unisat